<html>

<head>
    <META HTTP-EQUIV="refresh" CONTENT="0;URL=http://cct.cs.washington.edu/">
</head>
</html>